Automated Deduction in Classica... Ricardo Caferra, Ger... Paperback Published 09 Feb 2000 Save $6.87 RRP $61.06 $54.19 In Stock